Sharygina, N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lessons Learned from Model Checking a NASA Robot Controller

Natasha Sharygina, James Browne, Fei Xie, Robert Kurshan, Vladimir Levin

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 579 KB

english, 2004

2

[IEEE 2010 Second IEEE Region 8 Conference on the History of Telecommunications (HISTELCON) - Madrid, Spain (2010.11.3-2010.11.5)] 2010 Second Region 8 IEEE Conference on the History of Communications - History of TV in Siberia

Sharygina, Ludmila I.

Year:

2010

Language:

english

File:

PDF, 2.40 MB

english, 2010

3

[IEEE 2010 Second IEEE Region 8 Conference on the History of Telecommunications (HISTELCON) - Madrid, Spain (2010.11.3-2010.11.5)] 2010 Second Region 8 IEEE Conference on the History of Communications - Long-distance tropospheric propagation investigations in USSR last century

Sharygin, German, Sharygina, Ludmila

Year:

2010

Language:

english

File:

PDF, 1.86 MB

english, 2010

4

[IEEE 2014 24th International Crimean Conference "Microwave & Telecommunication Technology" (CriMiCo) - Sevastopol, Ukraine (2014.9.7-2014.9.13)] 2014 24th International Crimean Conference Microwave & Telecommunication Technology - Investigations of troposphere radiowave propagation over the Black Sea surface

Sharygin, G. S., Sharygina, L. I.

Year:

2014

File:

PDF, 519 KB

2014

5

[IEEE 2015 ICOHTEC/IEEE International History of High-Technologies and their Socio-Cultural Contexts Conference (HISTELCON) - Tel-Aviv, Israel (2015.8.18-2015.8.19)] 2015 ICOHTEC/IEEE International History of High-Technologies and their Socio-Cultural Contexts Conference (HISTELCON) - Siberian electronics and cultural progress in the East Russia during the last century

Sharygin, German S., Sharygina, Liudmila I.

Year:

2015

Language:

english

File:

PDF, 896 KB

english, 2015

6

[IEEE 2017 IEEE HISTory of ELectrotechnolgy CONference (HISTELCON) - Kobe, Japan (2017.8.7-2017.8.8)] 2017 IEEE HISTory of ELectrotechnolgy CONference (HISTELCON) - Russian Investigations of Troposphere Radio Wave Propagation Over the Pacific Surface in the Second Half of the 20 th Century

Sharygin, German S., Sharygina, Liudmila I.

Year:

2017

Language:

english

File:

PDF, 3.77 MB

english, 2017

7

Concurrent software verification with states, events, and deadlocks

Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 379 KB

english, 2005

8

A model checking-based approach for security policy verification of mobile systems

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 532 KB

english, 2011

9

An abstraction refinement approach combining precise and approximated techniques

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 479 KB

english, 2012

10

Verification of evolving software via component substitutability analysis

Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 702 KB

english, 2008

11

Verification of Boolean programs with unbounded thread creation

Byron Cook, Daniel Kroening, Natasha Sharygina

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

12

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

13

Guest Editorial

Natasha Sharygina

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 17 KB

english, 2004

14

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog

Jain, H., Kroening, D., Sharygina, N., Clarke, E.M.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

15

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 || First-Order Theorem Proving and Vampire

Sharygina, Natasha, Veith, Helmut

Year:

2013

Language:

english

File:

PDF, 436 KB

english, 2013

16

Loop summarization using state and transition invariants

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

17

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

18

Resolution proof transformation for compression and interpolation

Rollini, Simone Fulvio, Bruttomesso, Roberto, Sharygina, Natasha, Tsitovich, Aliaksei

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

19

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Formal verification of SystemC by automatic hardware/software partitioning

Kroening, D., Sharygina, N.

Year:

2005

Language:

english

File:

PDF, 355 KB

english, 2005

20

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Over-Approximating Boolean Programs with Unbounded Thread Creation

Cook, Byron, Kroening, Daniel, Sharygina, Natasha

Year:

2006

Language:

english

File:

PDF, 243 KB

english, 2006

21

[IEEE 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Karlovy Vary (2013.4.8-2013.4.10)] 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Interpolation-based model checking for efficient incremental analysis of software

Fedyukovich, G., Hyvarinen, A. E. J., Sharygina, N.

Year:

2013

Language:

english

File:

PDF, 95 KB

english, 2013

22

[IEEE 2012 Third IEEE HISTory of ELectro-technology CONference - "The Origins of Electrotechnologies" (HISTELCON 2012) - Pavia, Italy (2012.09.5-2012.09.7)] 2012 Third IEEE HISTory of ELectro-technology CONference (HISTELCON) - The Second World War and industrial development in Siberia

Sharygina, Liudmila I.

Year:

2012

Language:

english

File:

PDF, 716 KB

english, 2012

23

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Loopfrog: A Static Analyzer for ANSI-C Programs

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

24

[Publishing House of Electron. Ind International Radar Conference - Beijing, China (8-10 Oct. 1996)] Proceedings of International Radar Conference - Beyond-the-horizon target detection by bistatic radar

Golikov, A.M., Egorov, B.M., Tchesnokov, Yu.S., Sharygina, L.I.

Year:

1996

Language:

english

File:

PDF, 272 KB

english, 1996

25

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Automated, compositional and iterative deadlock detection

Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.

Year:

2004

Language:

english

File:

PDF, 1.64 MB

english, 2004

26

[IEEE 2005 42nd Design Automation Conference - Anaheim, CA, USA (2005.06.13-2005.06.17)] Proceedings. 42nd Design Automation Conference, 2005. - Word level predicate abstraction and refinement for verifying RTL Verilog

Himanshu Jain,, Kroening, D., Sharygina, N., Clarke, E.

Year:

2005

Language:

english

File:

PDF, 1.29 MB

english, 2005

27

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - A flexible schema for generating explanations in lazy theory propagation

Bruttomesso, Roberto, Pek, Edgar, Sharygina, Natasha

Year:

2010

Language:

english

File:

PDF, 280 KB

english, 2010

28

[IEEE 2013 17th European Conference on Software Maintenance and Reengineering (CSMR 2013) - Genova (2013.3.5-2013.3.8)] 2013 17th European Conference on Software Maintenance and Reengineering - PINCETTE - Validating Changes and Upgrades in Networked Software

Chockler, H., Denaro, G., Meijia Ling,, Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.

Year:

2013

Language:

english

File:

PDF, 511 KB

english, 2013

29

[IEEE 2003 International Conference on Antenna Theory and Techniques ICATT'03 - Sevastopol, Ukraine (9-12 Sept. 2003)] 4th International Conference on Antenna Theory and Techniques (Cat. No.03EX699) - Generalized ambiguity matrix of a vector time-spatial radar signal

Sharygin, G.S., Khlusov, V.A., Sharygina, L.I.

Year:

2003

Language:

english

File:

PDF, 230 KB

english, 2003

30

[IEEE IGARSS 2012 - 2012 IEEE International Geoscience and Remote Sensing Symposium - Munich, Germany (2012.07.22-2012.07.27)] 2012 IEEE International Geoscience and Remote Sensing Symposium - New Russian educational program for engineer training in the field of radar and remote sensing

Sharygina, Liudmila, Sharygin, German

Year:

2012

Language:

english

File:

PDF, 476 KB

english, 2012

31

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Flexible interpolation with local proof transformations

Bruttomesso, Roberto, Rollini, Simone, Sharygina, Natasha, Tsitovich, Aliaksei

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

32

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs

Kroening, Daniel, Sharygina, Natasha

Year:

2007

Language:

english

File:

PDF, 152 KB

english, 2007

33

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||

Sharygina, Natasha, Veith, Helmut

Year:

2013

Language:

english

File:

PDF, 20.90 MB

english, 2013

34

Decision Procedures for Flat Array Properties

Alberti, Francesco, Ghilardi, Silvio, Sharygina, Natasha

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 629 KB

english, 2015

35

Validation of Evolving Software || Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

36

Validation of Evolving Software || Measuring Change Impact on Program Behaviour

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

37

Validation of Evolving Software || Lightweight Static Analysis Check of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 695 KB

english, 2015

38

Validation of Evolving Software || Regression Checking of Changes in C Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 619 KB

english, 2015

39

Validation of Evolving Software || G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 810 KB

english, 2015

40

Validation of Evolving Software || RADAR: Dynamic Analysis of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

41

Validation of Evolving Software || Challenges of Existing Technology

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 98 KB

english, 2015

42

Validation of Evolving Software || Introduction

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 51 KB

english, 2015

43

Validation of Evolving Software || Incremental Upgrade Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 869 KB

english, 2015

44

Validation of Evolving Software || Function Summarization-Based Bounded Model Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 470 KB

english, 2015

45

Validation of Evolving Software || Complementarities Among the Technologies Presented in the Book

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 175 KB

english, 2015

46

Validation of Evolving Software || Optimizing Function Summaries Through Interpolation

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 199 KB

english, 2015

47

[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - Specification and verification of component-based systems 2007

Aldrich, Jonathan, Leavens, Gary T., Barnett, Mike, Sharygina, Natasha, Giannakopoulou, Dimitra

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

48

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - The synergy of precise and fast abstractions for program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 397 KB

english, 2009

49

[ACM Press the 8th international workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09 - An abstraction refinement approach combining precise and approximated techniques for efficient program verification

Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei

Year:

2009

Language:

english

File:

PDF, 225 KB

english, 2009

50

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - Verification-aided regression testing

Pastore, Fabrizio, Mariani, Leonardo, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha, Sehestedt, Stephan, Muhammad, Ali

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014